More from this Author

Formal Methods and Software Engineering

by Chris George (Editor), Huaikou Miao (Editor)

Testbeds and Research Infrastructures for the Development of Networks and Communications

by Honghao Gao (Editor), Yuyu Yin (Editor), Xiaoxian Yang (Editor), Huaikou Miao (Editor)

Structured Object-Oriented Formal Language and Method

by Huaikou Miao (Editor), Cong Tian (Editor), Shaoying Liu (Editor), Zhenhua Duan (Editor)